41.68/43.73	unsat
