41.94/42.09	unsat
