52.16/55.14	unsat
