82.01/82.51	unsat
