29.93/30.30	unsat
