82.31/85.78	unsat
