41.28/42.20	unsat
