29.83/29.93	unsat
