50.19/53.69	unsat
