19.04/19.88	unsat
