50.38/53.16	unsat
