51.81/53.69	unsat
