78.64/78.87	unsat
