41.17/43.23	unsat
