77.56/81.84	unsat
