1.48/6.88	unsat
