31.28/31.35	unsat
