7.48/10.08	unsat
