50.27/52.86	unsat
