74.67/76.05	unsat
