53.60/56.20	unsat
