7.08/10.49	unsat
