50.83/53.66	unsat
