78.94/81.83	unsat
