18.87/19.92	unsat
