52.81/53.09	unsat
