4.07/5.72	unsat
