29.85/31.35	unsat
