49.37/52.39	unsat
