7.57/12.81	unsat
