78.03/78.72	unsat
