41.87/42.01	unsat
