50.61/53.03	unsat
