4.88/5.50	unsat
