7.27/10.72	unsat
