29.72/31.08	unsat
