76.97/78.23	unsat
