81.67/82.67	unsat
