81.62/81.83	unsat
