31.39/54.84	unsat
