17.46/19.25	unsat
