9.74/10.07	unsat
