8.50/9.95	unsat
