17.84/17.92	unsat
