17.84/17.99	unsat
