48.36/50.01	unsat
