4.90/5.50	unsat
