9.75/10.07	unsat
