41.86/42.01	unsat
