4.28/5.72	unsat
