17.25/19.41	unsat
