41.05/42.87	unsat
