52.06/52.29	unsat
