9.97/10.09	unsat
