50.34/53.83	unsat
