52.63/53.71	unsat
