7.48/10.00	unsat
