41.05/43.18	unsat
