19.70/19.78	unsat
