31.08/31.84	unsat
