78.06/78.85	unsat
