8.63/10.09	unsat
