82.11/82.54	unsat
