31.23/31.35	unsat
