4.88/5.52	unsat
