81.03/82.61	unsat
