52.06/56.36	unsat
