74.40/74.58	unsat
