17.54/19.92	unsat
