41.22/42.50	unsat
