53.99/54.05	unsat
