50.10/50.23	unsat
