41.33/42.20	unsat
