4.08/5.52	unsat
