41.63/43.87	unsat
