50.37/83.67	unsat
