76.62/77.05	unsat
