29.03/30.06	unsat
