76.53/78.76	unsat
