29.44/30.93	unsat
