74.05/76.74	unsat
