48.66/50.46	unsat
