20.70/20.78	unsat
