50.53/53.12	unsat
