41.56/42.01	unsat
