17.07/17.25	unsat
