81.91/82.51	unsat
