41.41/42.50	unsat
