8.06/10.20	unsat
