41.10/42.22	unsat
