17.25/17.35	unsat
