29.88/30.06	unsat
