5.57/7.28	unsat
