41.78/43.17	unsat
