17.70/17.99	unsat
