41.35/42.74	unsat
