50.21/50.39	unsat
