50.64/50.78	unsat
