78.89/81.84	unsat
