17.25/17.31	unsat
