Real-SAT-4