52.93/55.96	unsat
