53.92/54.14	unsat
