7.57/10.51	unsat
