51.21/53.40	unsat
