8.03/9.95	unsat
