41.40/41.50	unsat
