50.24/50.47	unsat
