50.16/50.30	unsat
