50.19/50.30	unsat
