53.84/54.17	unsat
