17.84/17.93	unsat
