8.49/17.95	unsat
