29.72/29.87	unsat
