7.48/11.88	unsat
