19.25/19.88	unsat
