79.08/81.58	unsat
