77.00/82.78	unsat
